Empirical Evaluations of Safety-Critical Embedded Systems

نویسندگان

  • Falk Salewski
  • Klaus Müller-Glaser
چکیده

Embedded systems based on different types of hardware platforms are nowadays increasingly used in safety-critical applications. These different hardware platforms lead to fundamental differences in design, particularly regarding the corresponding software. In this work, potential influences of hardware platforms on safety properties were gathered and open issues were identified. The most relevant of these open issues were evaluated for popular embedded hardware platforms (microcontroller, CPLD/FPGA). In detail, the impacts of hardware platform selection on software diversity, encapsulation, reviewability, reusability and the development according to ISO26262 were chosen for investigation. Furthermore, the approach of software diversity was compared with a fault removal approach. The evaluation was realized in form of six experiments conducted for this work. During these evaluations, the following similarities and differences were observed for the considered hardware platforms. Despite the diversity between the hardware platforms, failures observed in the software versions, which were developed for these different platforms, contained high numbers of dependent (coincident) failures. Although failure dependency between two versions was reduced by the use of diverse hardware platforms, this effect was low. Most dependent failures were identified as implementation independent so that improvements of the software diversity by hardware diversity were limited. Thus, a comparison of software fault tolerance with a fault removal approach based on tests and reviews was conducted. As a result, different types of failures were mitigated by these alternative approaches. On the other hand, differences between microcontrollers and FPGAs were observed. First, certain advantages of FPGAs with respect to encapsulation and reuse of real-time functions could be demonstrated. Moreover, differences regarding the reviewability of software versions written for FPGAs and microcontrollers were observed. Finally, the development according to ISO26262 revealed only minor differences between the investigated hardware platforms but between the different safety concepts of device supervision and function supervision.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Embedded Software Development For Safety Critical Systems

Title Type embedded software development for safety-critical systems PDF mission-critical and safety-critical systems handbook design and development for embedded applications PDF software engineering for embedded systems chapter 17 multicore software development for embedded systems this chapter draws on material from the multicore guide mpp from the multicore association PDF embedded systems ...

متن کامل

Human performance and embedded intelligent technology in safety-critical systems

Information technology continues to evolve rapidly. We see this particularly in the evolution of embedded intelligent systems—knowledge-based systems deployed in larger hosts with real-time response requirements, which provide real-time advice, guidance, information, recommendations and explanations to their users. These systems have recently been deployed in safety-critical large-scale systems...

متن کامل

Designing safety-critical systems: A Convergence of Technologies

A brief overview of the fields that must be considered when designing safety-critical systems is presented. Proper application of these fields allows a holistic (dependability achieved at all system levels) approach for designing safety-critical systems. The fields to be considered are: application domain, embedded systems, protocol and networks, safety and reliability, real-time, and systems e...

متن کامل

Programming Research Group Safety-critical Systems, Formal Methods and Standards Safety-critical Systems, Formal Methods and Standards Safety-critical Systems, Formal Methods and Standards Safety-critical Systems, Formal Methods and Standards

Standards concerned with the development of safety-critical systems, and the software in such systems in particular, abound today as the software crisis increasingly aaects the world of embedded computer-based systems. The use of formal methods is often advocated as a way of increasing conndence in such systems. This paper examines the industrial use of these techniques, the recommendations con...

متن کامل

Formal Modeling of Safety Requirements in the Model-Driven Development of Safety Critical Embedded Systems

Safety requirements are a very important artifact in the development of safety critical embedded systems. They are usually identified during safety analyses and are used by experts as a basis for the correct selection and implementation of safety mechanisms. Various safety analysis research groups have worked on formal modeling of safety requirements with the goal of determining if a system can...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008